calculus of sequent

[数] 相继式演算

热门查询

incrementally　　adv. 递增地；增值地
route　　n. 路线；航线；通道 vt. 按某路线发送
interruptible　　adj. [计] 可中断的
spuriously　　adv. 伪造地；不合逻辑地；虚假地
acclimate　　vt. 使适应；使服水土 vi. 服水土；适应新环境
acquainted　　v. 使了解（acquaint的过去分词） adj. 熟识的；知晓的；有知识的
messiness　　n. 乱糟糟；混乱
Ecclesiastes　　n. [宗]传道书
britches　　n. 裤子；马裤（长及膝盖的裤子）
manufacturable　　adj. 可制造的
unsteady　　adj. 不稳定的；不规则的；摇摆的；无常的 vt. 使不稳定；动摇
heath　　n. 石南，石南植物；荒野 adj. 杜鹃花科木本植物的 n. (Heath)人名；(柬)夏；(芬)海亚特；(英)希思
Goodchild　　[人名] [英格兰人姓氏] 古德柴尔德来源于中世纪英语教名+古英语，含义是“好”(good)+晚期古英语人名构词成分child; [人名] [英格兰人姓氏] 古德柴尔德绰号，权贵人士的教子或教女(godchild)
refrigerated　　adj. 冷冻的，冷却的 v. 冷藏（refrigerate的过去分词）；使冷却
compassion　　n. 同情；怜悯
overly　　adv. 过度地；极度地 n. (Overly)人名；(英)奥弗利
dallas　　n. 达拉斯（美国城市）
caisson　　n. [建] 沉箱；弹药箱；弹药车 n. (Caisson)人名；(法)凯松
Inoculant　　n. [机] 变质剂；接种体，接种菌
poly　　n. polytechnic的缩写）工艺专科学校；科技学校；工业学校(或大学) adj. （polyester的缩写）聚酯的，涤纶的